Making Functionality More General
نویسندگان
چکیده
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the functional relations are precisely those satisfying the simple equation f = f ◦ f∪ ◦ f , where “∪” is the relation converse operator. This article forms part of “A calculational theory of pers as types” [1].
منابع مشابه
Formulation of Performance Based Budgets
Disclaimer The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated into any contract. It is not a commitment to deliver any material, code, or functionality, and should not be relied upon in making purchasing decisions. The development, release, and timing of any features or functionality described for Oracle'...
متن کاملRanking CloudService Providers using SWARA and VIKOR (A case of Irancell Company)
Cloud computing is a recent computing paradigm that represents a fundamental change of information commu- nication technology (ICT) services and Cloud services continue to grow rapidly with increasing functionality and more users. As a result of this growth, it is a critical issue to select a suitable Cloud service which meets all the business strategies and the objectives of firms. This paper ...
متن کاملRanking CloudService Providers using SWARA and VIKOR (A case of Irancell Company)
Cloud computing is a recent computing paradigm that represents a fundamental change of information commu- nication technology (ICT) services and Cloud services continue to grow rapidly with increasing functionality and more users. As a result of this growth, it is a critical issue to select a suitable Cloud service which meets all the business strategies and the objectives of firms. This paper ...
متن کاملInternet-Based Spatial Decision Support Using Open Source Tools
AbstrAct In the last half decade, there has been growing interest in the concept of collaborative geographic information systems (GIS) in support of decision making, especially in the context of various domains of planning. This interest has spawned an already substantial literature in what is now becoming popularly known as public participation GIS (PPGIS) or community GIS. A central and gener...
متن کاملDeveloping a Priority-Based Decision Making Method to Evaluate Geometric Configuration of Urban Interchanges
The present article involves in evaluation and engineering judgment of various geometric configurations for highway interchanges by considering substantial parameters over the discretion process. The geometric, economical and architectural criteria as the fundamental indicators are divided into related sub-indicators and the total combinations of such sub-elements from the general criterion for...
متن کامل